SUBDIRS=$(filter-out Makefile find-k.mak imp.k, $(wildcard *))

include ./find-k.mak
include ${K_HOME}/include/kframework/ktest-group.mak
